Διοφαντικη εξισωση